3.2292 \(\int \frac{1}{\sqrt{d+e x} (a+b x+c x^2)} \, dx\)
Optimal. Leaf size=199 \[ \frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}-\frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}} \]
[Out]
(-2*Sqrt[2]*Sqrt[c]*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/Sqrt[2*c*d - (b - Sqrt[b^2 - 4*a*c])*e]])/(Sqrt[b^
2 - 4*a*c]*Sqrt[2*c*d - (b - Sqrt[b^2 - 4*a*c])*e]) + (2*Sqrt[2]*Sqrt[c]*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x
])/Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e]])/(Sqrt[b^2 - 4*a*c]*Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e])
________________________________________________________________________________________
Rubi [A] time = 0.29574, antiderivative size = 199, normalized size of antiderivative = 1.,
number of steps used = 4, number of rules used = 3, integrand size = 22, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.136, Rules used =
{707, 1093, 208} \[ \frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}-\frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-e \left (b-\sqrt{b^2-4 a c}\right )}} \]
Antiderivative was successfully verified.
[In]
Int[1/(Sqrt[d + e*x]*(a + b*x + c*x^2)),x]
[Out]
(-2*Sqrt[2]*Sqrt[c]*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/Sqrt[2*c*d - (b - Sqrt[b^2 - 4*a*c])*e]])/(Sqrt[b^
2 - 4*a*c]*Sqrt[2*c*d - (b - Sqrt[b^2 - 4*a*c])*e]) + (2*Sqrt[2]*Sqrt[c]*ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x
])/Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e]])/(Sqrt[b^2 - 4*a*c]*Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e])
Rule 707
Int[1/(Sqrt[(d_.) + (e_.)*(x_)]*((a_.) + (b_.)*(x_) + (c_.)*(x_)^2)), x_Symbol] :> Dist[2*e, Subst[Int[1/(c*d^
2 - b*d*e + a*e^2 - (2*c*d - b*e)*x^2 + c*x^4), x], x, Sqrt[d + e*x]], x] /; FreeQ[{a, b, c, d, e}, x] && NeQ[
b^2 - 4*a*c, 0] && NeQ[c*d^2 - b*d*e + a*e^2, 0] && NeQ[2*c*d - b*e, 0]
Rule 1093
Int[((a_) + (b_.)*(x_)^2 + (c_.)*(x_)^4)^(-1), x_Symbol] :> With[{q = Rt[b^2 - 4*a*c, 2]}, Dist[c/q, Int[1/(b/
2 - q/2 + c*x^2), x], x] - Dist[c/q, Int[1/(b/2 + q/2 + c*x^2), x], x]] /; FreeQ[{a, b, c}, x] && NeQ[b^2 - 4*
a*c, 0] && PosQ[b^2 - 4*a*c]
Rule 208
Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(Rt[-(a/b), 2]*ArcTanh[x/Rt[-(a/b), 2]])/a, x] /; FreeQ[{a,
b}, x] && NegQ[a/b]
Rubi steps
\begin{align*} \int \frac{1}{\sqrt{d+e x} \left (a+b x+c x^2\right )} \, dx &=(2 e) \operatorname{Subst}\left (\int \frac{1}{c d^2-b d e+a e^2-(2 c d-b e) x^2+c x^4} \, dx,x,\sqrt{d+e x}\right )\\ &=\frac{(2 c) \operatorname{Subst}\left (\int \frac{1}{-\frac{1}{2} \sqrt{b^2-4 a c} e+\frac{1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt{d+e x}\right )}{\sqrt{b^2-4 a c}}-\frac{(2 c) \operatorname{Subst}\left (\int \frac{1}{\frac{1}{2} \sqrt{b^2-4 a c} e+\frac{1}{2} (-2 c d+b e)+c x^2} \, dx,x,\sqrt{d+e x}\right )}{\sqrt{b^2-4 a c}}\\ &=-\frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-\left (b-\sqrt{b^2-4 a c}\right ) e}}+\frac{2 \sqrt{2} \sqrt{c} \tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}}\right )}{\sqrt{b^2-4 a c} \sqrt{2 c d-\left (b+\sqrt{b^2-4 a c}\right ) e}}\\ \end{align*}
Mathematica [A] time = 0.534019, size = 176, normalized size = 0.88 \[ \frac{2 \sqrt{2} \sqrt{c} \left (\frac{\tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}\right )}{\sqrt{2 c d-e \left (\sqrt{b^2-4 a c}+b\right )}}-\frac{\tanh ^{-1}\left (\frac{\sqrt{2} \sqrt{c} \sqrt{d+e x}}{\sqrt{e \sqrt{b^2-4 a c}-b e+2 c d}}\right )}{\sqrt{e \left (\sqrt{b^2-4 a c}-b\right )+2 c d}}\right )}{\sqrt{b^2-4 a c}} \]
Antiderivative was successfully verified.
[In]
Integrate[1/(Sqrt[d + e*x]*(a + b*x + c*x^2)),x]
[Out]
(2*Sqrt[2]*Sqrt[c]*(-(ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/Sqrt[2*c*d - b*e + Sqrt[b^2 - 4*a*c]*e]]/Sqrt[2*
c*d + (-b + Sqrt[b^2 - 4*a*c])*e]) + ArcTanh[(Sqrt[2]*Sqrt[c]*Sqrt[d + e*x])/Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*
c])*e]]/Sqrt[2*c*d - (b + Sqrt[b^2 - 4*a*c])*e]))/Sqrt[b^2 - 4*a*c]
________________________________________________________________________________________
Maple [A] time = 0.242, size = 194, normalized size = 1. \begin{align*} -2\,{\frac{ce\sqrt{2}}{\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) }\sqrt{ \left ( be-2\,cd+\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) } \right ) c}}\arctan \left ({\frac{\sqrt{ex+d}c\sqrt{2}}{\sqrt{ \left ( be-2\,cd+\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) } \right ) c}}} \right ) }-2\,{\frac{ce\sqrt{2}}{\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) }\sqrt{ \left ( -be+2\,cd+\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) } \right ) c}}{\it Artanh} \left ({\frac{\sqrt{ex+d}c\sqrt{2}}{\sqrt{ \left ( -be+2\,cd+\sqrt{-{e}^{2} \left ( 4\,ac-{b}^{2} \right ) } \right ) c}}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
int(1/(e*x+d)^(1/2)/(c*x^2+b*x+a),x)
[Out]
-2*c*e/(-e^2*(4*a*c-b^2))^(1/2)*2^(1/2)/((b*e-2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/2)*arctan((e*x+d)^(1/2)*c*
2^(1/2)/((b*e-2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/2))-2*c*e/(-e^2*(4*a*c-b^2))^(1/2)*2^(1/2)/((-b*e+2*c*d+(-
e^2*(4*a*c-b^2))^(1/2))*c)^(1/2)*arctanh((e*x+d)^(1/2)*c*2^(1/2)/((-b*e+2*c*d+(-e^2*(4*a*c-b^2))^(1/2))*c)^(1/
2))
________________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{{\left (c x^{2} + b x + a\right )} \sqrt{e x + d}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(e*x+d)^(1/2)/(c*x^2+b*x+a),x, algorithm="maxima")
[Out]
integrate(1/((c*x^2 + b*x + a)*sqrt(e*x + d)), x)
________________________________________________________________________________________
Fricas [B] time = 2.83425, size = 5416, normalized size = 27.22 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(e*x+d)^(1/2)/(c*x^2+b*x+a),x, algorithm="fricas")
[Out]
-1/2*sqrt(2)*sqrt((2*c*d - b*e + ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2)*sqrt(e^
2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 -
4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)
*e^2))*log(4*sqrt(e*x + d)*c*e + sqrt(2)*((b^2 - 4*a*c)*e^2 - (2*(b^2*c^2 - 4*a*c^3)*d^3 - 3*(b^3*c - 4*a*b*c^
2)*d^2*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d*e^2 - (a*b^3 - 4*a^2*b*c)*e^3)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 -
2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 -
4*a^3*c)*e^4)))*sqrt((2*c*d - b*e + ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2)*sqr
t(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^
3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^
2*c)*e^2))) + 1/2*sqrt(2)*sqrt((2*c*d - b*e + ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)
*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2
- 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b
^2 - 4*a^2*c)*e^2))*log(4*sqrt(e*x + d)*c*e - sqrt(2)*((b^2 - 4*a*c)*e^2 - (2*(b^2*c^2 - 4*a*c^3)*d^3 - 3*(b^3
*c - 4*a*b*c^2)*d^2*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d*e^2 - (a*b^3 - 4*a^2*b*c)*e^3)*sqrt(e^2/((b^2*c^2 - 4*
a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3
+ (a^2*b^2 - 4*a^3*c)*e^4)))*sqrt((2*c*d - b*e + ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^
2*c)*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*
e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e +
(a*b^2 - 4*a^2*c)*e^2))) - 1/2*sqrt(2)*sqrt((2*c*d - b*e - ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e + (a*b
^2 - 4*a^2*c)*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*
c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*
c)*d*e + (a*b^2 - 4*a^2*c)*e^2))*log(4*sqrt(e*x + d)*c*e + sqrt(2)*((b^2 - 4*a*c)*e^2 + (2*(b^2*c^2 - 4*a*c^3)
*d^3 - 3*(b^3*c - 4*a*b*c^2)*d^2*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d*e^2 - (a*b^3 - 4*a^2*b*c)*e^3)*sqrt(e^2/(
(b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a
^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))*sqrt((2*c*d - b*e - ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*c)*d*e +
(a*b^2 - 4*a^2*c)*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*
a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*
a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2))) + 1/2*sqrt(2)*sqrt((2*c*d - b*e - ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*a*b*
c)*d*e + (a*b^2 - 4*a^2*c)*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b
^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^2 -
(b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2))*log(4*sqrt(e*x + d)*c*e - sqrt(2)*((b^2 - 4*a*c)*e^2 + (2*(b^2*c
^2 - 4*a*c^3)*d^3 - 3*(b^3*c - 4*a*b*c^2)*d^2*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d*e^2 - (a*b^3 - 4*a^2*b*c)*e^
3)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2
*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))*sqrt((2*c*d - b*e - ((b^2*c - 4*a*c^2)*d^2 - (b^3 - 4*
a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2)*sqrt(e^2/((b^2*c^2 - 4*a*c^3)*d^4 - 2*(b^3*c - 4*a*b*c^2)*d^3*e + (b^4 - 2
*a*b^2*c - 8*a^2*c^2)*d^2*e^2 - 2*(a*b^3 - 4*a^2*b*c)*d*e^3 + (a^2*b^2 - 4*a^3*c)*e^4)))/((b^2*c - 4*a*c^2)*d^
2 - (b^3 - 4*a*b*c)*d*e + (a*b^2 - 4*a^2*c)*e^2)))
________________________________________________________________________________________
Sympy [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{1}{\sqrt{d + e x} \left (a + b x + c x^{2}\right )}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(e*x+d)**(1/2)/(c*x**2+b*x+a),x)
[Out]
Integral(1/(sqrt(d + e*x)*(a + b*x + c*x**2)), x)
________________________________________________________________________________________
Giac [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
integrate(1/(e*x+d)^(1/2)/(c*x^2+b*x+a),x, algorithm="giac")
[Out]
Timed out